Discrete events cellular models with explicit delays

This work is devoted to introduce several formal descriptions used to model and simúlate cell-shaped spaces. The paradigms are based on the DEVS and Cellular Autómata formalisms, combined with transport delays and inertial delays. The speciñcation formalisms have been deñned for binary or three-states cell spaces, and have been extended to other domains. The delay concepts belong to the digital circuits domain, and have been adapted to the Cellular Autómata paradigm, being one of the main contributions of the present work. The formalims allow the automatic deñnition for the cell spaces, easing the model veriñcation, allowing the cost-effective development of simulators. A tool was built with the goal to implement the formalism, allowing to verify em- pirically the performance of the proposed Solutions.Sociedad Argentina de Informática e Investigación Operativ

The DEVStone Metric: Performance Analysis of DEVS Simulation Engines

The DEVStone benchmark allows us to evaluate the performance of discrete-event simulators based on the DEVS formalism. It provides model sets with different characteristics, enabling the analysis of specific issues of simulation engines. However, this heterogeneity hinders the comparison of the results among studies, as the results obtained on each research work depend on the chosen subset of DEVStone models. We define the DEVStone metric based on the DEVStone synthetic benchmark and provide a mechanism for specifying objective ratings for DEVS-based simulators. This metric corresponds to the average number of times that a simulator can execute a selection of 12 DEVStone models in one minute. The variety of the chosen models ensures we measure different particularities provided by DEVStone. The proposed metric allows us to compare various simulators and to assess the impact of new features on their performance. We use the DEVStone metric to compare some popular DEVS-based simulators